🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚗️ Algebraic Coding
Galois Fields, BCH Codes, Polynomial Arithmetic, Error Bounds
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org
·
18h
📐
Compression Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
·
9h
·
Discuss:
Hacker News
👑
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
·
12h
💎
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
·
1d
·
Discuss:
blog.mitrichev.ch
🧮
Z3 Solver
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
·
4h
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org
·
21h
·
Discuss:
Hacker News
🔢
Reed-Solomon Math
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
dev.to
·
1d
·
Discuss:
DEV
⚔️
Lean Theorem
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de
·
14h
📞
Session Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Function Generator From The Past
hackaday.com
·
3h
⚡
Circuit Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
·
18h
🔗
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GaloisInc/parameterized-utils
github.com
·
2d
🧮
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three Solutions to Nondeterminism in AI
blog.hellas.ai
·
2d
·
Discuss:
Hacker News
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com
·
2d
🧪
Binary Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com
·
3d
🔢
Reed-Solomon Math
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev
·
1d
·
Discuss:
Hacker News
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com
·
7h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to
·
9h
·
Discuss:
DEV
📡
Audio Modulation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
More on Carmichael
johndcook.com
·
1d
·
Discuss:
Hacker News
🔢
Reed-Solomon Math
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
6h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org
·
1d
⚛️
Quantum Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »